Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
261	arXiv:1501.02155v1 [math.MG] 9 Jan 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-11 20:23:30 Conjectures Discrete geometry Logic in computer science Formal methods Kepler conjecture Mathematical proof Proof assistant HOL Sphere packing Mathematics Theoretical computer science Logic
262	NOTICE: This opinion is subject to motions for rehearing under Rule 22 as well as formal revision before publication in the New Hampshire Reports. Readers are requested to notify the Reporter, Supreme Court of New Hampsh Add to Reading List Source URL: www.courts.state.nh.us Language: English - Date: 2015-01-16 09:03:15 Evidence law Legal burden of proof New Hampshire Supreme Court Law Criminal law Civil law
263	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.org Language: English - Date: 2014-11-13 21:39:07 Software engineering Formal verification Model checking Carnegie Mellon University Software Engineering Institute Automated proof checking Proof-carrying code Formal methods Computer science Software development
264	HSARPA Cyber Security R&D Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-01-02 14:25:44 Programming language theory Laboratories Logic in computer science HRL Procedural programming languages HR Proof-carrying code C Formal verification Software engineering Computing Formal methods
265	Formal Methods for Knowledge Management in Science Theorema Group RISC, Johannes Kepler University Linz, Austria Presented by Temur Kutsia Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:42 Mathematical logic Formal methods Mathematical proof Epistemology Knowledge management Knowledge base Science Browse Knowledge Automated theorem proving Mathematics
266	Title: Formal Verification of Simulink/Stateflow Diagrams Organizers: Naijun Zhan, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, email: [removed] Speakers: Naijun Zhan and Li Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Visual programming languages Simulation software Stateflow Simulink Formal verification Hybrid system Isabelle Proof assistant KeY Software Mathematical software Application software
267	Logic is Like Abstract Art Modern logic unleashed new areas of mathematics. Even when language and intuition fail, conclusive theories can be constructed with the help of logic. When little children share chocolates, the Add to Reading List Source URL: vsl2014.at Language: English - Date: 2014-07-02 08:59:18 Philosophy of mathematics Formal systems Elementary geometry Axiom Euclidean geometry Mathematical proof David Hilbert Mathematical object Parallel postulate Mathematics Logic Mathematical logic
268	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael S. Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2013-08-19 09:51:46 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
269	On Finding an Inference-Proof Complete Database for Controlled Query Evaluation Joachim Biskup and Lena Wiese Universit¨ at Dortmund, 44221 Dortmund, Germany {biskup,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:10 Logical syntax Metalogic Propositional calculus Resolution Interpretation Conjunctive normal form Logic programming Entailment Well-formed formula Logic Mathematical logic Formal languages
270	NOTICE: This opinion is subject to motions for rehearing under Rule 22 as well as formal revision before publication in the New Hampshire Reports. Readers are requested to notify the Reporter, Supreme Court of New Hampsh Add to Reading List Source URL: www.courts.state.nh.us Language: English - Date: 2013-03-10 05:00:00 Family law Grandparent visitation Troxel v. Granville Best interests Legal guardian Presumption Legal burden of proof New Hampshire Supreme Court Law Child custody Evidence law

UPDATE